Unsupervised Entailment Detection between Dependency Graph Fragments Ted Briscoe Computer Laboratory University of Cambridge United Kingdom [removed]

Source URL: aclweb.org

• Logical consequence
• Computational linguistics
• Textual entailment
• Entailment
• Semantic similarity
• WordNet
• Distributional hypothesis
• Argument
• Opposite
• Logic
• Linguistics
• Science

A logical basis for quantum evolution and entanglement Richard F. Blute1 , Alessio Guglielmi2 , Ivan T. Ivanov3 , Prakash Panangaden4 , and Lutz Straßburger5 1

Source URL: cs.bath.ac.uk

• Proof theory
• Non-classical logic
• Logic in computer science
• Deduction
• Propositional calculus
• Linear logic
• Entailment
• Directed acyclic graph
• Curry–Howard correspondence
• Logic
• Mathematical logic
• Mathematics

1 Network Tomography via Compressed Sensing Mohammad H. Firooz, Student Member, IEEE, Sumit Roy, Fellow, IEEE, Electrical Engineering Department University of Washington, Seattle, WA, USA.

Source URL: www.ee.washington.edu

• Graph
• Adjacency matrix
• Bipartite graph
• Shortest path problem
• Topology
• Expander graph
• Logical matrix
• Directed graph
• Bipartite double cover
• Graph theory
• Mathematics
• Matrices

1 CMAT Logical Reasoning Directions for questions 1 to 3: The following graph shows the speeds of three cars A, B and C

Source URL: www.cat100.in

xiii Preface About the fourth edition In this fourth edition there are few substantial additions of new material,

Source URL: diestel-graph-theory.com

• Logical syntax
• Philosophical logic
• Philosophy of language
• Theorems
• Mathematical proof
• Hamiltonian path
• Mathematics
• Logic
• Mathematical logic

Mathematical Logic with Diagrams Based on the Existential Graphs of Peirce

Source URL: www.dr-dau.net

• Charles Sanders Peirce
• Diagrams
• Philosophical logic
• Existential graph
• Logical graph
• First-order logic
• Propositional calculus
• Well-formed formula
• Function
• Logic
• Mathematical logic
• Mathematics